نمایش نتایج جستجو برای
نام همایش: کنفرانس ملی اویونیک
موارد یافت شده: 4
1 - تخمین ضریب مقیاس برد قائم در تصاویر رادار دهانه ترکیبی معکوس (چکیده)2 - معرفی و تحلیل ابزارهای نرم‌افزاری تزریق اشکال قابل استفاده در صنایع هوافضا (چکیده)
3 - طراحی روشی برای افزودن امکان تشخیص خطا در رأی‌گیرنده‌های نرم‌افزاری برای سیستم‌های نهفته بحرانی-ایمن (چکیده)
4 - بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن (چکیده)
